domctl: prefer is_..._domain() over is_..._vcpu()
authorJan Beulich <jbeulich@suse.com>
Fri, 12 Jun 2015 10:02:12 +0000 (12:02 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 12 Jun 2015 10:02:12 +0000 (12:02 +0200)
commitee78176f98f60ad6de32faabba46d863b75ceb28
tree9087d5f3e38755397d4cc96b52b3affaa4ad0b30
parent4c94684bb7c20ff01d03fb1f22c03cc0c2fc417b
domctl: prefer is_..._domain() over is_..._vcpu()

... when the domain pointer is already available.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/common/domctl.c